Procedure calling and structured architecture

A Formal Specification for Procedure Calling Conventions

A Formal Model and Specification Language for Procedure Calling Conventions

ly, data placement definitions are functions that map values onto machine resources. The functions take a value and corresponding attributes (such as data type) and decide where the value belongs. More precisely, placement definitions are finite state machines, since the mapping is order-dependent. Figure 2 illustrates an application of a placement definition to place procedure arguments. In th...

Construction of Systems Software Using Specifications of Procedure Calling Conventions

The procedure calling convention impacts the operation of many system software components. The interface between procedures, which is established by the calling convention, facilitates separate compilation of program modules and interoperability of programming languages. The procedure calling convention dictates the way that program values are communicated, and how machine resources are shared ...

Structured procedure for comparison and selection

Decisions about selecting a configuration for a computer system require an unbiased comparison among alternative designs of the system. Several heterogeneous factors need to be considered and their combined effect must be evaluated. The procedure provides a structure to the selection process activities: developing a selection plan, evaluating each design, and ranking the alternatives. It is bas...

A Decision Procedure for Structured Cryptographic Protocols

Given a cryptographic protocol, it is possible to extract an inference system modelling exactly the set of messages an active intruder can learn by manipulating this protocol. Unfortunately, there is no general proof-search procedure to test whether or not a term belongs to the theory of an inference system. This paper presents the preliminary results obtained during an attempt to circumvent th...